https://dasbestelexikon.de/en/wiki/1_22_polytope